x86/time: also use rdtsc_ordered() in check_tsc_warp()
authorJan Beulich <jbeulich@suse.com>
Fri, 5 Aug 2016 16:00:45 +0000 (18:00 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 5 Aug 2016 16:00:45 +0000 (18:00 +0200)
commit7fb0a87d97201f9c3639f85615eacd93110dc1c5
tree4d31d3ab337b48195dc2ed33821d129f91572f52
parenta00a3e1aa2844d4819d74e9b1df6eb66a6e07252
x86/time: also use rdtsc_ordered() in check_tsc_warp()

This really was meant to be added in a v2 of what became commit
fa74e70500 ("x86/time: introduce and use rdtsc_ordered()").

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/time.c